docs: Remove unused variable

diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c
index cd16d8064b9b5773f0811cd8597943a78a706bfa..f3dc8bee1f98225f18b09dc61e75c2776c454269 100644 (file)
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -401,7 +401,6 @@ create_search_bar (void)
 {
   GtkWidget *widget;
   GtkWidget *entry;
-  GtkWidget *align;
   WidgetInfo *info;
   GtkWidget *view;
   GtkWidget *box;